Vakarelov, B. K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Information Medium

Orlin Vakarelov

Journal:

Philosophy & Technology

Year:

2012

Language:

english

File:

PDF, 324 KB

english, 2012

2

Dynamic spatial and temporal prediction of changes in depositional processes on clastic shorelines: Toward improved subsurface uncertainty reduction and management

Ainsworth, R. Bruce, Vakarelov, Boyan K., Nanson, Rachel A.

Journal:

Year:

2011

Language:

english

File:

PDF, 5.36 MB

english, 2011

3

Linking the High-Resolution Architecture of Modern and Ancient Wave-Dominated Deltas: Processes, Products, and Forcing Factors

Ainsworth, R. Bruce, Vakarelov, Boyan K., Eide, Christian H., Howell, John A., Bourget, Julien

Journal:

Journal of Sedimentary Research

Year:

2019

Language:

english

File:

PDF, 9.42 MB

english, 2019

4

Recognition of wave-dominated, tide-influenced shoreline systems in the rock record: Variations from a microtidal shoreline model

Boyan K. Vakarelov, R. Bruce Ainsworth, James A. MacEachern

Journal:

Sedimentary Geology

Year:

2012

Language:

english

File:

PDF, 5.82 MB

english, 2012

5

A hierarchical approach to architectural classification in marginal-marine systems: Bridging the gap between sedimentology and sequence stratigraphy

Vakarelov, Boyan K., Ainsworth, R. Bruce

Journal:

Year:

2013

Language:

english

File:

PDF, 8.92 MB

english, 2013

6

Intuitionistic Modal Logics Incompatible with the Law of the Excluded Middle

Dimiter Vakarelov

Journal:

Year:

1981

Language:

english

File:

PDF, 1.13 MB

english, 1981

7

Anatomy of A Shoreline Regression: Implications For the High-Resolution Stratigraphic Architecture of Deltas

Ainsworth, R. Bruce, Vakarelov, Boyan K., MacEachern, James A., Rarity, Franklin, Lane, Tessa I., Nanson, Rachel A.

Journal:

Journal of Sedimentary Research

Year:

2017

Language:

english

File:

PDF, 16.83 MB

english, 2017

8

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

Dimiter Vakarelov

Journal:

Year:

1985

Language:

english

File:

PDF, 409 KB

english, 1985

9

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

Dimiter Vakarelov

Journal:

Year:

2006

Language:

english

File:

PDF, 2.77 MB

english, 2006

10

A System of Relational Syllogistic Incorporating Full Boolean Reasoning

Nikolay Ivanov, Dimiter Vakarelov

Journal:

Journal of Logic, Language and Information

Year:

2012

Language:

english

File:

PDF, 310 KB

english, 2012

11

Evolution of a Holocene, mixed-process, forced regressive shoreline: The Mitchell River delta, Queensland, Australia

Nanson, R.A., Vakarelov, B.K., Ainsworth, R.B., Williams, F.M., Price, D.M.

Journal:

Year:

2013

Language:

english

File:

PDF, 4.58 MB

english, 2013

12

Detailed mapping, three-dimensional modelling and upscaling of a mixed-influence delta system, Mitchell River delta, Gulf of Carpentaria, Australia

Massey, T. A., Fernie, A. J., Ainsworth, R. B., Nanson, R. A., Vakarelov, B. K.

Journal:

Geological Society London Special Publications

Year:

2014

Language:

english

File:

PDF, 4.49 MB

english, 2014

13

Dynamic Mereotopology. III. Whiteheadean Type of Integrated Point-Free Theories of Space and Time. I

Journal:

Algebra and Logic

Year:

2014

Language:

english

File:

PDF, 865 KB

english, 2014

14

Architecture and Evolution of A Regressive, Tide-Influenced Marginal Marine Succession, Drumheller, Alberta, Canada

Ainsworth, R. B., Vakarelov, B. K., Lee, C., MacEachern, J. A., Montgomery, A. E., Ricci, L. P., Dashtgard, S. E.

Journal:

Journal of Sedimentary Research

Year:

2015

Language:

english

File:

PDF, 24.19 MB

english, 2015

15

Process-Driven Architectural Variability In Mouth-Bar Deposits: A Case Study From A Mixed-Process Mouth-Bar Complex, Drumheller, Alberta, Canada

Ainsworth, R. Bruce, Vakarelov, Boyan K., MacEachern, James A., Nanson, Rachel A., Lane, Tessa I., Rarity, Franklin, Dashtgard, Shahin E.

Journal:

Journal of Sedimentary Research

Year:

2016

Language:

english

File:

PDF, 14.11 MB

english, 2016

16

[International Petroleum Technology Conference International Petroleum Technology Conference - Bangkok, Thailand (2011-11-15)] International Petroleum Technology Conference - Predicting Marginal Marine Reservoir Architecture: Examples from Asian Shoreline Systems

Ainsworth, Bruce, Vakarelov, Boyan

Language:

english

File:

PDF, 1.97 MB

english

17

Dynamic logics of the region-based theory of discrete spaces

Balbiani, Philippe, Tinchev, Tinko, Vakarelov, Dimiter

Journal:

Journal of Applied Non-Classical Logics

Year:

2007

Language:

english

File:

PDF, 375 KB

english, 2007

18

Rough polyadic modal logics

Journal:

Journal of Applied Non-Classical Logics

Year:

1991

Language:

english

File:

PDF, 1.31 MB

english, 1991

19

An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics

Dimiter Vakarelov

Journal:

Year:

1985

Language:

english

File:

PDF, 908 KB

english, 1985

20

Evolution and architectural styles of a forced-regressive Holocene delta and megafan, Mitchell River, Gulf of Carpentaria, Australia

Lane, T. I., Nanson, R. A., Vakarelov, B. K., Ainsworth, R. B., Dashtgard, S. E.

Journal:

Geological Society London Special Publications

Year:

2016

Language:

english

File:

PDF, 13.43 MB

english, 2016

21

A generalization of the Stone Duality Theorem

Dimov, G., Ivanova-Dimova, E., Vakarelov, D.

Journal:

Topology and its Applications

Year:

2017

Language:

english

File:

PDF, 583 KB

english, 2017

22

Mereotopologies with Predicates of Actual Existence and Actual Contact

Vakarelov, Dimiter, Niwiński, Damian, Orłowska, Ewa

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 243 KB

english, 2017

23

A mereotopology based on sequent algebras

Vakarelov, Dimiter

Journal:

Journal of Applied Non-Classical Logics

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

24

Elementary canonical formulae: extending Sahlqvist’s theorem

Valentin Goranko, Dimiter Vakarelov

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 565 KB

english, 2006

25

Dynamic extensions of arrow logic

Philippe Balbiani, Dimiter Vakarelov

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 249 KB

english, 2004

26

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

Willem Conradie, Valentin Goranko, Dimitar Vakarelov

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 269 KB

english, 2010

27

Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety

Dimiter Vakarelov

Journal:

Year:

1989

Language:

english

File:

PDF, 619 KB

english, 1989

28

A duality between Pawlak's knowledge representation systems and bi-consequence systems

Dimiter Vakarelov

Journal:

Year:

1995

Language:

english

File:

PDF, 1.18 MB

english, 1995

29

Intuitionistic modal logics incompatible with the law of the excluded middle

Dimiter Vakarelov

Journal:

Year:

1981

Language:

english

File:

PDF, 640 KB

english, 1981

30

Notes on N-lattices and constructive logic with strong negation

Journal:

Year:

1977

Language:

english

File:

PDF, 797 KB

english, 1977

31

Lattices related to Post algebras and their applications to some logical systems

Journal:

Year:

1977

Language:

english

File:

PDF, 950 KB

english, 1977

32

Region–based theory of discrete spaces: A proximity approach

Ivo Düntsch, Dimiter Vakarelov

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 286 KB

english, 2007

33

Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation

Dimiter Vakarelov

Journal:

Year:

2005

Language:

english

File:

PDF, 272 KB

english, 2005

34

Pre-cognitive Semantic Information

Orlin Vakarelov

Journal:

Knowledge, Technology & Policy

Year:

2010

Language:

english

File:

PDF, 446 KB

english, 2010

35

Dynamic Modalities

Dimiter Vakarelov

Journal:

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

36

A Modal Logic for Cyclic Repeating

Dimiter Vakarelov

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 1007 KB

english, 1992

37

Distributive contact lattices: Topological representations

Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 229 KB

english, 2008

38

From Interface to Correspondence: Recovering Classical Representations in a Pragmatic Theory of Semantic Information

Orlin Vakarelov

Journal:

Minds and Machines

Year:

2014

Language:

english

File:

PDF, 428 KB

english, 2014

39

[ACM Press the international conference - Ogunquit, Maine, USA (2001.10.17-2001.10.19)] Proceedings of the international conference on Formal Ontology in Information Systems - FOIS '01 - A note on proximity spaces and connection based mereology

Vakarelov, Dimiter, Düntsch, Ivo, Bennett, Brandon

Year:

2001

Language:

english

File:

PDF, 1.15 MB

english, 2001

40

A Proximity Approach to Some Region-Based Theories of Space

Vakarelov, Dimiter, Dimov, Georgi, Düntsch, Ivo, Bennett, Brandon

Journal:

Journal of Applied Non-Classical Logics

Year:

2002

Language:

english

File:

PDF, 241 KB

english, 2002

41

PDL with intersection of programs: a complete axiomatization

Balbiani, Philippe, Vakarelov, Dimiter

Journal:

Journal of Applied Non-Classical Logics

Year:

2003

Language:

english

File:

PDF, 364 KB

english, 2003

42

The cognitive agent: Overcoming informational limits

Journal:

Adaptive Behavior

Year:

2011

Language:

english

File:

PDF, 174 KB

english, 2011

43

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA

Conradie, W., Goranko, V., Vakarelov, D.

Journal:

Journal of Logic and Computation

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

44

Many-dimensional arrow logics

Vakarelov, Dimiter

Journal:

Journal of Applied Non-Classical Logics

Year:

1996

Language:

english

File:

PDF, 1.85 MB

english, 1996

45

SYMMETRY WITH THE PINUS MUGO TURRA — AN ECOLOGICAL APPROACH

VAKARELOV, ILIYA IVANOV

Journal:

Journal of Biological System

Year:

2007

Language:

english

File:

PDF, 561 KB

english, 2007

46

Tidal signatures in an intracratonic playa lake

Ainsworth, R. B., Hasiotis, S. T., Amos, K. J., Krapf, C. B. E., Payenberg, T. H. D., Sandstrom, M. L., Vakarelov, B. K., Lang, S. C.

Journal:

Year:

2012

Language:

english

File:

PDF, 1.05 MB

english, 2012

47

Local tectonic control on parasequence architecture: Second Frontier sandstone, Powder River Basin, Wyoming

Vakarelov, Boyan K., Bhattacharya, Janok P.

Journal:

Year:

2009

Language:

english

File:

PDF, 2.48 MB

english, 2009

48

Multi-Dimensional Modal Logicby Maarten Marx; Yde Venema

Review by: Dimiter Vakarelov

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 305 KB

english, 2000

49

Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. II

Journal:

Algebra and Logic

Year:

2016

Language:

english

File:

PDF, 231 KB

english, 2016

50

Distributive mereotopology: extended distributive contact lattices

Ivanova, Tatyana, Vakarelov, Dimiter

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 611 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски